Signed-off-by: Keir Fraser <keir@xensource.com>
send_guest_global_virq(dom0, VIRQ_DEBUGGER);
}
-__attribute__ ((weak)) void domain_debug_state_changed(struct domain *d) { }
-
/* Complete domain destroy after RCU readers are not holding old references. */
static void complete_domain_destroy(struct rcu_head *head)
{
void domain_kill(struct domain *d);
void domain_shutdown(struct domain *d, u8 reason);
void domain_pause_for_debugger(void);
-void domain_debug_state_changed(struct domain *d);
/*
* Mark specified domain as crashed. This function always returns, even if the